Managing the evolution of dependability cases for systems of systems
نویسنده
چکیده
Dependability is a composite property consisting of attributes such as reliability, availability, safety and security. The achievement of these attributes is often essential for the operational success of systems undertaking critical and complex tasks. Assurance that the final system will demonstrate the required dependability qualities, can be crucial to the acceptance of the system into service. Safety cases are a well established concept used to establish assurance about the safety properties of a system. However, safety cases focus only on one attribute of dependability. The principles and processes of creating an integrated dependability case – that assures all aspects of dependable system behaviour – are less well understood. A number of challenges are faced when attempting to support dependability case development. These include the systematic elicitation of dependability goals, the management and justification of trade-offs, and the evolution of multi-attribute arguments in step with the design process. This thesis addresses these challenges by defining a rigorous framework, accompanied by a set of methods, for establishing dependability cases. Firstly, a method for eliciting dependability requirements is defined by extending existing safety deviational analysis techniques. Secondly, a method for systematically identifying and managing justified trade-offs is presented. Thirdly, the thesis describes the co-evolution of dependability case arguments alongside system development – using a dependability case architecture that corresponds to system structures. Finally, the thesis unifies these contributions by defining a metamodel that captures and interrelates the concepts underlying the proposed methods. Evaluation of the work is presented by means of peer review, pilot studies and industrial examples.
منابع مشابه
Introduction to Schramm-Loewner evolution and its application to critical systems
In this short review we look at recent advances in Schramm-Loewner Evolution (SLE) theory and its application to critical phenomena. The application of SLE goes beyond critical systems to other time dependent, scale invariant phenomena such as turbulence, sand-piles and watersheds. Through the use of SLE, the evolution of conformally invariant paths on the complex plane can be followed; hence a...
متن کاملIncreasing the Accuracy of Recommender Systems Using the Combination of K-Means and Differential Evolution Algorithms
Recommender systems are the systems that try to make recommendations to each user based on performance, personal tastes, user behaviors, and the context that match their personal preferences and help them in the decision-making process. One of the most important subjects regarding these systems is to increase the system accuracy which means how much the recommendations are close to the user int...
متن کاملDefining a Framework for the Development and Management of Dependability Cases
Dependability cases are a concept that has primarily emerged from safety cases. A dependability case constitutes a clear, defensible, and traceable argument that a system is acceptably dependable to operate in a given operational context. This includes any requirements that are crucial to the stakeholders’ envisioned system operation. A dependability case can be thought of as a driver communica...
متن کاملInfluences of temporal evolution of ground motion frequency content on developed dynamic ratcheting in SDOF systems
Dynamic Ratcheting (DR) is a nonlinear dynamic phenomenon occurring in hysteretic damping systems. It means the structural plastic deformation increases asymmetrically in successive cycles under an earthquake excitation. Although it is generally recognized that DR is closely related to the frequency contents of an earthquake excitation applied to thestructure, no targeted analysis has bee...
متن کاملStrategies for Achieving Dependability in Coalitions of Systems
Many aspects of dependability have been explored extensively in the context of individual software components. Modern software systems, however, are composed from multiple components and complex subsystems. Often these components have not been designed to operate together. Increasingly these components are legacy code or even applications that can operate alone as well as in concert, and they m...
متن کامل